Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
191	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
192	Philipp Haller ! ! http://www.csc.kth.se/~phaller/ Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2016-05-16 07:45:08 Computing Software engineering Computer programming Concurrent programming languages Scala Akka Actor model Martin Odersky European Conference on Object-Oriented Programming Join-pattern Reactive programming Concurrent computing
193	Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-05-04 09:09:45 Software engineering Computer programming Computing Object-oriented programming Software design patterns Concurrent programming languages Cross-platform software Method Objective-C Invariant Null Object pattern Protocol
194	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
195	Flexible querying for SPARQL A. Cal`ı, R. Frosini, A. Poulovassilis, P. T. Wood Department of Computer Science and Information Systems, Birkbeck, University of London London Knowledge Lab Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-11-18 17:54:32 Computing Data management Web standards Semantic Web Resource Description Framework Query languages SPARQL RDF Schema Linked data
196	RightFind™ XML for Mining Frequently Asked Questions 1. What does XML for Mining do? Researchers struggle to gain access to full-text articles for mining. When they do get the full-text they must contend with multiple Add to Reading List Source URL: www.rightsdirect.com Language: English - Date: 2016-05-06 15:45:04 Computing Data Markup languages Technical communication Open formats Computer file formats Journal Article Tag Suite Text mining Data mining VTD-XML
197	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
198	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
199	Computing Fundamentals Input/Output Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-11 06:35:38 Computing Computer programming C POSIX library Open Software engineering C file input/output Procedural programming languages Tail recursive parser
200	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function

UPDATE